/****************************************************************
        kernel全局初始化头文件krlinit.h
*****************************************************************/
#ifndef _KRLINIT_H
#define _KRLINIT_H

void init_krl();


#endif // KRLINIT_H
